Synthesis of 3D Asynchronous State Machines
نویسندگان
چکیده
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental mode operation. Our implementation of burst-mode state machines uses standard combinational logic, generates low-latency outputs and guarantees freedom from hazards at the gate level. It requires no locally-synthesized clock and no storage elements. In addition, primary outputs as well as additional state variables are used as feedback variables. The state assignment technique is based on the construction of a three-dimensional next-state table.
منابع مشابه
Restricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کاملPractical Generalizations of Asynchronous State Machines
Based on a study of systems requirements, we propose to extend burst-mode specifications, a class of asynchronous finite-state machine specifications that allows multiple-input changes. The proposed extensions allow concurrent transitions of inputs and outputs and input choices based on “level” conditional signals. We present an example that features the proposed extensions and point out the de...
متن کاملSynthesis-for-Initializability of Asynchronous Sequential Machines
We present a new method for the synthesis-forinitializability of asynchronous state machines. Unlike existing approaches, our method incorporates a state assignment step. State assignment is critical, since initializability may be precluded by poor choice of state assignment. Also, we present precise conditions on hazard-free logic, to insure that the circuits are physically initializable.
متن کاملAutomatic synthesis of extended burst-mode circuits. I.(Specification and hazard-free implementations)
We introduce a new design style called extended burst-mode. The extended burst-mode design style covers a wide spectrum of sequential circuits ranging from delay-insensitive to synchronous. We can synthesize multiple-input change asynchronous finite state machines, and many circuits that fall in the gray area (hard to classify as synchronous or asynchronous) which are difficult or impossible to...
متن کاملAutomatic Synthesis of Extended Burst-Mode Circuits: Part I (Specification and Hazard-Free Implementations)
We introduce a new design style called extended burst-mode. The extended burst-mode design style covers a wide spectrum of sequential circuits ranging from delay-insensitive to synchronous. We can synthesize multiple-input change asynchronous finite state machines, and many circuits that fall in the gray area (hard to classify as synchronous or asynchronous) which are difficult or impossible to...
متن کامل